home *** CD-ROM | disk | FTP | other *** search
- echo "Ce script copie les fichier nécessaires dans SYS:"
- echo "Ces fichiers sont : LIBS:reqtools.library"
- echo " L:CloseGad-Handler"
- echo ""
- ask "Voulez-vous continuer (Y/N)"
- if WARN
- echo ""
- if exists libs:reqtools.library
- echo "Vous possédez déjà une version de reqtools.library"
- echo "Cette version est : " NOLINE
- version libs:reqtools.library
- echo "Ma version est : " NOLINE
- version libs/reqtools.library
- echo ""
- ask "Voulez-vous la copier (Y/N)"
- if WARN
- echo ""
- echo "Je copie retools.library dans LIBS:..."
- copy LIBS/reqtools.library libs: QUIET
- endif
- else
- echo "Je copie retools.library dans LIBS:..."
- copy LIBS/reqtools.library libs: QUIET
- endif
- echo "Je copie CloseGad-Handler dans L:..."
- copy L/CloseGad-Handler L:
-
- echo ""
- echo "Tout est installé."
- echo "Vous pouvez démarrer PubScreenManager."
- echo "N'oubliez pas de copier également des Programmes CLI"
- echo "contenus dans le répertoire Commande"
- echo ""
- echo ""
- echo "Cliquez sur le gadget de fermeture pour terminer..."
- endif